601. Structured Document Image Analysis
پدیدآورنده: edited by Henry S. Baird, Horst Bunke, Kazuhiko Yamamoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer-aided design.,Optical pattern recognition.
رده :
TA1632
.
E358
1992
602. Sustainable design of complex industrial and energy systems under uncertainty
پدیدآورنده:
کتابخانه: ()
موضوع:
603. Swift 3 for Absolute Beginners
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
رده :
QA76
.
73
.
S95
604. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
پدیدآورنده: edited by Linda C. van der Gaag.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
2013
605. System Analysis and Modeling: About Models
پدیدآورنده: edited by Frank Alexander Kraemer, Peter Herrmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks.,Computer science.,Information storage and retrieval systems.,Logic design.,Software engineering.
606. System and circuit design for biologically-inspired intelligent learning
پدیدآورنده: / [edited by] Turgay Temel
کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)
موضوع: Neural networks (Computer science),Biologically -- inspired computing,Logic circuits
رده :
QA
76
.
87
.
S9
2011
607. System and circuit design for biologically-inspired intelligent learning
پدیدآورنده: / [edited by] Turgay Temel
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Neural networks (Computer science),Biologically-inspired computing,Logic circuits
رده :
QA
76
.
87
.
S97
2011
608. TAPSOFT '95:
پدیدآورنده: edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
609. Temporal Logic :
پدیدآورنده: edited by Dov M. Gabbay, Hans Jürgen Ohlbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Database management.,Logic design.
رده :
QA76
.
6
E358
1994
610. Temporal Logic of Programs
پدیدآورنده: by Fred Kröger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
9
.
L63
B947
1987
611. Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : Proceedings
پدیدآورنده: B. Banieqbal, H. Barringer, A. Pnueli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، System design,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
398
612. Temporal logic in specification: Altrincham, UK, April 8-10, 1987: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، System design,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
.
T42
1989
613. Testfreundliche Synthese hochintegrierter Schaltungen
پدیدآورنده: von Bernhard Eschermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Microprogramming.
رده :
TK7874
.
65
V663
1992
614. Testing object-oriented systems :
پدیدآورنده: Robert V. Binder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Testing.,Object-oriented programming (Computer science),Computer software-- Testing.,Object-oriented programming (Computer science)
رده :
QA76
.
64
.
B56
2000
615. Tests and Proofs
پدیدآورنده: edited by Achim D. Brucker, Jacques Julliand
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
616. The Design of a Microprocessor
پدیدآورنده: by Wilhelm G. Spruth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Electronics.,Engineering.
رده :
TK7895
.
M5
B995
1989
617. The Fallacy of Inscrutability
پدیدآورنده: Kroll, Joshua A
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
618. The Parametric Lambda Calculus :
پدیدآورنده: by Simona Ronchi Della Rocca, Luca Paolini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
QA9
.
5
B975
2004
619. The decision model :
پدیدآورنده: Barbara von Halle and Larry Goldberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Business-- Decision making-- Data processing.,Business logistics-- Data processing.,Decision making-- Mathematical models.,Expert systems (Computer science),Industrial management-- Decision making-- Data processing.,Service-oriented architecture (Computer science),BUSINESS & ECONOMICS-- Decision-Making & Problem Solving.,Business-- Decision making-- Data processing.,Business logistics-- Data processing.,Decision making-- Mathematical models.,Expert systems (Computer science),Service-oriented architecture (Computer science)
رده :
HD30
.
2
.
V67
2010eb
620. The deductive spreadsheet /
پدیدآورنده: Iliano Cervesato
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Deductive databases,Electronic spreadsheets,Logic programming
رده :
QA76
.
9
.
D3
